home *** CD-ROM | disk | FTP | other *** search
/ The PC-SIG Library 9 / The PC-SIG Library on CD ROM - Ninth Edition.iso / 401_500 / DISK0417 / DISK0417.ZIP / PROLOG.ARC / READ.ME < prev    next >
Text File  |  1986-08-24  |  3KB  |  199 lines
  1.  
  2.  
  3.  
  4.  
  5.                 Hello!
  6.  
  7.         The  files  on  this  disk  are  stored  in  archived  form.  The  
  8.         distribution  disk  has  the  following  major objects:
  9.  
  10.         ARC.EXE -
  11.              This   is  the  program  which  extracts  files  from  files 
  12.              archives.  A listing of commands can be obtained by invoking 
  13.              it as "ARC<CR>".  To extract all the files from a particular 
  14.              archive,  type  "ARC -e <archive name,  without  the  "ARC"> 
  15.              <file  name><CR>",  where  <CR> means "ENTER",  or  carriage 
  16.              return.
  17.  
  18.         PDPROLOG.ARC - 
  19.              a)  PDPROLOG.EXE.  The  public  domain,  proprietary  PROLOG 
  20.              language  interpreter.  You may give PDPROLOG to anyone.  If 
  21.              you purchased a Prolog system from us, another disk contains 
  22.              a copyrighted A.D.A. Prolog system. 
  23.  
  24.              b)  PROLOG.DOC.   You  should  immediately  print  out  this 
  25.              documentation, since it contains the implementation specific 
  26.              information.
  27.  
  28.         PROLOGED.COM -
  29.              A  simple screen editor for invocation  within  Prolog.  You 
  30.              must configure PDPROLOG for memory before use. If the editor 
  31.              does not run,  you haven't configured PD PROLOG properly. If 
  32.              the editor runs but does not work properly,  please  contact 
  33.              the author,  Li Su, at (612)-866-2871.
  34.                   Any  small editor can be installed in place of PROLOGED 
  35.              simply by renaming it to have this name.
  36.  
  37.         ATN.ARC -
  38.              This  archive contains Lou Schumacher's natural  language 
  39.              parser.  The  initials "ATN" stand for augmented  transition 
  40.              network. 
  41.  
  42.         EXPERT.ARC -
  43.              These   are   expert   systems  for  specific   domains   of 
  44.              information. Medical, rockblasting, fault diagnosis, etc.
  45.  
  46.         GAMES.ARC -
  47.              Some simple board games and adventure games in Prolog.
  48.  
  49.         PIE.ARC -
  50.              This   archive  contains Simon  Blackwell's   public  domain  
  51.              expert  system shell program.  The documentation  is  not 
  52.              complete yet.
  53.  
  54.         PUZZLES.ARC -
  55.              The encoding of puzzles in Prolog demonstrates techniques of 
  56.              translating word problems into unambiguous logic.
  57.  
  58.         SAMPLES.ARC -
  59.  
  60.  
  61.  
  62.  
  63.  
  64.  
  65.  
  66.  
  67.  
  68.  
  69.  
  70.              This   archive  contains a variety  of   Prolog  programming  
  71.              examples   which  illustrate some of  the  points  of Prolog   
  72.              programming.    Note   that  the  book    mentioned    above 
  73.              unfortunately  contains  numerous mistakes in the  examples.  
  74.              You should refer to these files for the corrections.
  75.  
  76.         UTILITY.ARC -
  77.              Some  reasonably  useful examples of  relational  databases, 
  78.              etc.
  79.  
  80.         VISION.ARC -
  81.              Listings  from  an  article  in Byte  Magazine  on  computer 
  82.              vision, by John and Clara Cuadrado.
  83.  
  84.  
  85.                                           Bob
  86.  
  87.  
  88.  
  89.  
  90.  
  91.  
  92.  
  93.  
  94.  
  95.  
  96.  
  97.  
  98.  
  99.  
  100.  
  101.  
  102.  
  103.  
  104.  
  105.  
  106.  
  107.  
  108.  
  109.  
  110.  
  111.  
  112.  
  113.  
  114.  
  115.  
  116.  
  117.  
  118.  
  119.  
  120.  
  121.  
  122.  
  123.  
  124.  
  125.  
  126.  
  127.  
  128.  
  129.  
  130.  
  131.  
  132.  
  133.  
  134.  
  135.  
  136.  
  137.  
  138.  
  139.  
  140.  
  141.  
  142.  
  143.  
  144.  
  145.  
  146.  
  147.  
  148.  
  149.  
  150.  
  151.  
  152.  
  153.  
  154.  
  155.  
  156.  
  157.  
  158.  
  159.  
  160.  
  161.  
  162.  
  163.  
  164.  
  165.  
  166.  
  167.  
  168.  
  169.  
  170.  
  171.  
  172.  
  173.  
  174.  
  175.  
  176.  
  177.  
  178.  
  179.  
  180.  
  181.  
  182.  
  183.  
  184.  
  185.  
  186.  
  187.  
  188.  
  189.  
  190.  
  191.  
  192.  
  193.  
  194.  
  195.  
  196.  
  197.  
  198.  
  199.